diff options
author | Kevin Ryde <user42@zip.com.au> | 2000-04-10 08:10:49 +0200 |
---|---|---|
committer | Kevin Ryde <user42@zip.com.au> | 2000-04-10 08:10:49 +0200 |
commit | a23fcbc178960d8c0984aa5879ba28501d56a721 (patch) | |
tree | f6e5107f1bb93bf5f2075d770975907f777fd71a /configure | |
parent | 1c96d2b2f3faa47c6d3d310fe63fe0f8ba01dedb (diff) | |
download | gmp-a23fcbc178960d8c0984aa5879ba28501d56a721.tar.gz |
Regenerate, for mpbsd/tests/Makefile.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -4428,7 +4428,7 @@ cat >$CONFIG_STATUS <<EOF config_files="\\ Makefile mpf/Makefile mpz/Makefile mpn/Makefile mpq/Makefile mpf/tests/Makefile mpz/tests/Makefile mpq/tests/Makefile tests/Makefile - tests/rand/Makefile demos/Makefile mpbsd/Makefile" + tests/rand/Makefile demos/Makefile mpbsd/Makefile mpbsd/tests/Makefile" config_headers="\\ config.h:config.in" config_links="\\ @@ -4529,6 +4529,7 @@ Try \\\`$CONFIG_STATUS --help' for more information."; exit 1 ;; 'tests/rand/Makefile' ) CONFIG_FILES="\$CONFIG_FILES tests/rand/Makefile" ;; 'demos/Makefile' ) CONFIG_FILES="\$CONFIG_FILES demos/Makefile" ;; 'mpbsd/Makefile' ) CONFIG_FILES="\$CONFIG_FILES mpbsd/Makefile" ;; + 'mpbsd/tests/Makefile' ) CONFIG_FILES="\$CONFIG_FILES mpbsd/tests/Makefile" ;; '$gmp_links' ) CONFIG_LINKS="\$CONFIG_LINKS $gmp_links" ;; 'default-1' ) CONFIG_COMMANDS="\$CONFIG_COMMANDS default-1" ;; 'default-2' ) CONFIG_COMMANDS="\$CONFIG_COMMANDS default-2" ;; |