X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=make-builder.as;fp=make-builder.as;h=e7fd623a5f6658c8439869cf868474823ce048d6;hb=898ab60c52851ccc9df653ddcabcd16917831f57;hp=8a90693f351b35c9b8b807da3f08815ffd12bdb2;hpb=8e8f500a7d956de742daa3a7709ef815d6ce10b6;p=pspp

diff --git a/make-builder.as b/make-builder.as
index 8a90693f35..e7fd623a5f 100644
--- a/make-builder.as
+++ b/make-builder.as
@@ -206,7 +206,6 @@ s,[@]PSPP_BRANCH[@],$PSPP_BRANCH,g
 s,[@]PSPP_COMMIT[@],$PSPP_COMMIT,g
 s,[@]GNULIB_COMMIT[@],$GNULIB_COMMIT,g
 s,[@]GNULIB_REPO[@],$GNULIB_REPO,g
-s,[@]CONFIGUREFLAGS[@],,g
 "
     chmod +x "$outdir/$base"
 done