diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index 99236c5c78..3de9ff9891 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -112,7 +112,7 @@ $(mpn-copy): %: $(ignore gmp2glibc.sed) $(gmp-srcdir)/%; $(gmp2glibc) .PHONY: copy-mpn clean-mpn mpn-stuff mpn-stuff: $(mpn-stuff) copy-mpn: $(mpn-stuff) - test ! -d CVS || cvs commit -m'Updated from $(gmp-srcdir)' $+ + test ! -d CVS || cvs $(CVSOPTS) commit -m'Updated from $(gmp-srcdir)' $+ clean-mpn: rm -f $(mpn-stuff) |