diff options
author | hp <hp@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-06-01 09:22:05 +0000 |
---|---|---|
committer | hp <hp@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-06-01 09:22:05 +0000 |
commit | 7a1b1f49d643b46d99f505947b8dc3b96698b513 (patch) | |
tree | db591365db7f9afc24f9b156266bcf6a654b8651 /libstdc++-v3/configure | |
parent | 8fc6e2fd9958292904604a73154af2c7876aee4d (diff) | |
download | gcc-7a1b1f49d643b46d99f505947b8dc3b96698b513.tar.gz |
* src/Makefile.am (VPATH): Delimit with ":", not space.
* src/Makefile.in: Regenerate.
* configure.in (use of GLIBCPP_CHECK_GNU_MAKE): Don't fail if GNU
make isn't found.
* configure: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@42774 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libstdc++-v3/configure')
-rwxr-xr-x | libstdc++-v3/configure | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libstdc++-v3/configure b/libstdc++-v3/configure index 53f051a0f95..591a68964b8 100755 --- a/libstdc++-v3/configure +++ b/libstdc++-v3/configure @@ -2556,9 +2556,9 @@ echo "$ac_t""$_cv_gnu_make_command" 1>&6 ; fi - if test "x$_cv_gnu_make_command" = "x"; then - { echo "configure: error: GNU make not found. Please install it or correct your path." 1>&2; exit 1; } - fi + + + |