diff options
Diffstat (limited to '')
| -rw-r--r-- | tools/ResourceExtractor/Makefile.in | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/tools/ResourceExtractor/Makefile.in b/tools/ResourceExtractor/Makefile.in deleted file mode 100644 index 101b14e2..00000000 --- a/tools/ResourceExtractor/Makefile.in +++ /dev/null @@ -1,16 +0,0 @@ -PPC = @PPC@ -PFLAGS = -dRELEASE - -NAME = ResourceExtractor -SRC = $(NAME).pas -BIN = $(NAME)@EXEEXT@ - -.PHONY: all clean distclean - -all: $(BIN) - -clean: - rm -f $(BIN) *.o *.ppu *.rst - -$(BIN): $(SRC) - $(PPC) $(PFLAGS) -o$@ $(SRC) |