diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index b97e14a4c5..ef592cf2ad 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -143,10 +143,20 @@ DEBUG=@DEBUG@ | |||
143 | TARGET=@TARGET@ | 143 | TARGET=@TARGET@ |
144 | THISDIR="@PWD@" | 144 | THISDIR="@PWD@" |
145 | 145 | ||
146 | all: | 146 | .PHONE: firmware apps |
147 | |||
148 | all: firmware apps | ||
149 | |||
150 | firmware: | ||
147 | make -C \$(FIRMDIR) TARGET=\$(TARGET) \$(DEBUG) OBJDIR=\$(THISDIR) | 151 | make -C \$(FIRMDIR) TARGET=\$(TARGET) \$(DEBUG) OBJDIR=\$(THISDIR) |
152 | |||
153 | apps: | ||
148 | make -C \$(APPSDIR) TARGET=\$(TARGET) \$(DEBUG) OBJDIR=\$(THISDIR) | 154 | make -C \$(APPSDIR) TARGET=\$(TARGET) \$(DEBUG) OBJDIR=\$(THISDIR) |
149 | 155 | ||
156 | clean: | ||
157 | make -C \$(APPSDIR) clean | ||
158 | make -C \$(FIRMDIR) clean | ||
159 | |||
150 | EOF | 160 | EOF |
151 | 161 | ||
152 | echo "Created Makefile" | 162 | echo "Created Makefile" |