diff options
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 84f931fb..85028ead 100644 --- a/Makefile.am +++ b/Makefile.am @@ -539,11 +539,11 @@ copy-sources: release: copy-sources (cd $(STAGING); \ - nice -n 20 ./acprep --release --opt --boost xgcc40 --build -j3) + nice -n 20 ./acprep --release --opt --build -j3) release-distcheck: copy-sources (cd $(STAGING); \ - nice -n 20 ./acprep --release --boost xgcc40 --build -j3 distcheck) + nice -n 20 ./acprep --release --build -j3 distcheck) benchmark: release PATH=$(PATH):$(srcdir)/tools \ |