diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/bench/Makefile.am | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tools/bench/Makefile.am b/tools/bench/Makefile.am index c1a849310..b9a92f4bb 100644 --- a/tools/bench/Makefile.am +++ b/tools/bench/Makefile.am @@ -8,6 +8,13 @@ # even the implied warranty of MERCHANTABILITY or FITNESS FOR A # PARTICULAR PURPOSE. + +# Since we do not require GNU "make", let's select the POSIX behavior to +# uniformize the behavior a bit more with various "make" implementations +# and ease maintenance. This target should be removed only if one day, +# we need to require GNU "make". +.POSIX: + AM_CPPFLAGS = -I$(top_srcdir)/src -I$(top_builddir)/src AM_DEFAULT_SOURCE_EXT = .c @@ -21,4 +28,3 @@ noinst_HEADERS = benchtime.h bench : mpfrbench ./mpfrbench - |