diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-12-07 20:31:50 +0100 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-12-07 20:31:50 +0100 |
| commit | fa5f86bfa71f8fa50788a129e0848d1af13dd249 (patch) | |
| tree | da73663c3c275240e2a975845f9c2f4e0c468f50 | |
| parent | 471b3f3404bb21b9854edc26588e7e677f55b669 (diff) | |
Makefile: Add target cleanconfig.
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,6 +20,6 @@ BITMASK_T=$2 make config ADDITIONAL_CFLAGS="-DBPT_KEY_T=$KEY_T -DBPT_KEY_BITMASK_T=$BITMASK_T" CONFIG_CFLAGS=$(./config) -make clean +make cleanconfig "$GSED" --in-place "s/ADDITIONAL_CFLAGS =.*\$/ADDITIONAL_CFLAGS = $CONFIG_CFLAGS -DBPT_EXPLICIT_CONFIGURATION -DBPT_KEY_T=$KEY_T -DBPT_KEY_BITMASK_T=$BITMASK_T/" Makefile |