diff options
-rw-r--r-- | Makefile | 5 | ||||
-rwxr-xr-x | configure | 2 |
2 files changed, 6 insertions, 1 deletions
@@ -2,7 +2,10 @@ # Copyright 2012 - 2013 Daniel Borkmann <borkmann@gnumaniacs.org> # Subject to the GNU GPL, version 2. -include Config +-include Config +ifndef CONFIG_OK + $(error "Please run `./configure' before `make'") +endif VERSION = 0 PATCHLEVEL = 5 @@ -246,4 +246,6 @@ if [ "$MISSING_NACL" == "1" ] ; then exit 1 fi +echo "CONFIG_OK=1" >> Config + exit 0 |