diff options
-rw-r--r-- | GNUmakefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 0f4e21c69..0c5a0715d 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -25,3 +25,8 @@ all: @exit 1 endif + +# Tell version 3.79 and up of GNU make to not build goals in this +# directory in parallel. This is necessary in case someone tries to +# build multiple targets on one command line. +.NOTPARALLEL: |