diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/GNUmakefile b/GNUmakefile index 1fd5a4c..8bef04f 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -1,8 +1,8 @@ have-gnulib-files := $(shell test -f gnulib.mk && test -f maint.mk && echo yes) ifneq ($(have-gnulib-files),yes) gnulib.mk: - ln -s build-aux/GNUmakefile gnulib.mk - ln -s build-aux/maint.mk maint.mk + ln -s build-aux/GNUmakefile gnulib.mk || cp build-aux/GNUmakefile gnulib.mk + ln -s build-aux/maint.mk maint.mk || cp build-aux/maint.mk maint.mk endif -include gnulib.mk +-include gnulib.mk |