diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/configure b/tools/configure index 3d457881ad..66636b55b4 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1355,8 +1355,8 @@ fi | |||
1355 | 1355 | ||
1356 | if test "$simulator" = "yes"; then | 1356 | if test "$simulator" = "yes"; then |
1357 | # add simul make stuff on the #SIMUL# line | 1357 | # add simul make stuff on the #SIMUL# line |
1358 | simmagic1="s,@SIMUL1@,@\$(MAKE) -C \$(SIMDIR) OBJDIR=\$(BUILDDIR)/sim," | 1358 | simmagic1="s,@SIMUL1@,\$(SILENT)\$(MAKE) -C \$(SIMDIR) OBJDIR=\$(BUILDDIR)/sim," |
1359 | simmagic2="s,@SIMUL2@,@\$(MAKE) -C \$(ROOTDIR)/uisimulator/common OBJDIR=\$(BUILDDIR)/comsim," | 1359 | simmagic2="s,@SIMUL2@,\$(SILENT)\$(MAKE) -C \$(ROOTDIR)/uisimulator/common OBJDIR=\$(BUILDDIR)/comsim," |
1360 | else | 1360 | else |
1361 | # delete the lines that match | 1361 | # delete the lines that match |
1362 | simmagic1='/@SIMUL1@/D' | 1362 | simmagic1='/@SIMUL1@/D' |