diff options
| -rw-r--r-- | Tools/Source/TianoTools/Pccts/build.gcc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tools/Source/TianoTools/Pccts/build.gcc b/Tools/Source/TianoTools/Pccts/build.gcc index 06d4800..96aab51 100644 --- a/Tools/Source/TianoTools/Pccts/build.gcc +++ b/Tools/Source/TianoTools/Pccts/build.gcc @@ -1,2 +1,2 @@ -(cd antlr/; make -f makefile)
-(cd dlg/; make -f makefile)
+(cd antlr/; make -f makefile) +(cd dlg/; make -f makefile) |