diff options
author | Manoj Srivastava <srivasta@debian.org> | 2020-05-19 21:29:57 -0700 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2020-05-19 21:29:57 -0700 |
commit | 11948971f110800dc35b4f6fec90cc01bebd6a7e (patch) | |
tree | d69e6f034efc4ace4c2d573a50153b7a875915f1 /mcon/U/Finish.U | |
parent | 7c4aad4e01c8278e073d28a5c1f59b12582431c1 (diff) | |
parent | 50ca5b27f2f7c51d062b3a89d334f7243f467078 (diff) |
Merge branch 'master' into dgit/sidHEADdebian/1%3.5-236-1archive/debian/1%3.5-236-1master
Diffstat (limited to 'mcon/U/Finish.U')
-rw-r--r-- | mcon/U/Finish.U | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/mcon/U/Finish.U b/mcon/U/Finish.U index cf5a364..13c970d 100644 --- a/mcon/U/Finish.U +++ b/mcon/U/Finish.U @@ -35,7 +35,7 @@ ?X: SH files, which among other things produce config.h and (usually) Makefile. ?X: It offers to do a make depend if the Makefile contains that target. ?X: -?MAKE:Finish: Chk_MANI Extract Myread Oldsym Magic_h cat rm contains \ +?MAKE:Finish: Chk_MANI Extract Specific Myread Oldsym Magic_h cat rm contains \ test package make ?MAKE: -pick add $@ %< ?F:!config.sh @@ -138,4 +138,3 @@ $rm -f kit*isdone ark*isdone $rm -rf UU : End of Configure - |