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 /trafgen/.gitignore | |
| 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>
Diffstat (limited to 'trafgen/.gitignore')
0 files changed, 0 insertions, 0 deletions