diff --git a/Tools/Source/TianoTools/Pccts/build.gcc b/Tools/Source/TianoTools/Pccts/build.gcc index 06d4800269..96aab5136e 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)