diff options
author | Tobias Klauser <tklauser@distanz.ch> | 2013-07-05 08:51:41 +0200 |
---|---|---|
committer | Tobias Klauser <tklauser@distanz.ch> | 2013-07-05 08:51:41 +0200 |
commit | 9c1aeea67217cdcc911d1f2a815043b2e48acf7b (patch) | |
tree | 2d2f1fb8ad8d0dc6ec4f13f1691a92614353bc9d | |
parent | 8b5f0cfb0cbf54b707e1c16903f841148871baf1 (diff) |
configure, Makefile: Fail in Makefile if Config is not complete
Define CONFIG_OK in the Config file generated in the configure script
and check for it being defined in the Makefile before attempting
anything else. This way we can better inform the user that she needs to
run ./configure first.
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
-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 |