summaryrefslogtreecommitdiff
path: root/trafgen/.gitignore
diff options
context:
space:
mode:
authorTobias Klauser <tklauser@distanz.ch>2013-07-05 08:51:41 +0200
committerTobias Klauser <tklauser@distanz.ch>2013-07-05 08:51:41 +0200
commit9c1aeea67217cdcc911d1f2a815043b2e48acf7b (patch)
tree2d2f1fb8ad8d0dc6ec4f13f1691a92614353bc9d /trafgen/.gitignore
parent8b5f0cfb0cbf54b707e1c16903f841148871baf1 (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>
Diffstat (limited to 'trafgen/.gitignore')
0 files changed, 0 insertions, 0 deletions