diff options
| author | Peter Korsgaard <jacmet@sunsite.dk> | 2008-11-05 15:47:09 +0000 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2008-11-05 15:47:09 +0000 |
| commit | bf0b23bd24d83ab5d627cc5ebd07af4d726da920 (patch) | |
| tree | 73dfd9b7b9a2e7434bc364f055c336cf930b57b0 | |
| parent | 3fe3437ed6101a7f604c66697b17e9cb5c39f494 (diff) | |
prboom: misc cleanups
As noted by Bernhard on irc.
| -rw-r--r-- | package/games/prboom/prboom.mk | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/package/games/prboom/prboom.mk b/package/games/prboom/prboom.mk index 4f0a8bc19..02d018ffb 100644 --- a/package/games/prboom/prboom.mk +++ b/package/games/prboom/prboom.mk @@ -40,12 +40,12 @@ $(PRBOOM_TARGET_INSTALL_TARGET): $(INSTALL) -D $(PRBOOM_DIR)/src/prboom $(TARGET_DIR)/usr/games/prboom $(INSTALL) -D $(PRBOOM_DIR)/src/prboom-game-server $(TARGET_DIR)/usr/games/prboom-game-server $(INSTALL) -D $(PRBOOM_DIR)/data/prboom.wad $(TARGET_DIR)/usr/share/games/doom/prboom.wad - $(STRIPCMD) $(STRIP_STRIP_UNNEEDED) $(TARGET_DIR)/usr/games/prboom - $(STRIPCMD) $(STRIP_STRIP_UNNEEDED) $(TARGET_DIR)/usr/games/prboom-game-server + $(STRIPCMD) $(STRIP_STRIP_ALL) $(TARGET_DIR)/usr/games/prboom + $(STRIPCMD) $(STRIP_STRIP_ALL) $(TARGET_DIR)/usr/games/prboom-game-server touch $@ $(PRBOOM_TARGET_CLEAN): - rm -rf $(TARGET_DIR)/usr/share/games/doom/prboom.wad - rm -rf $(TARGET_DIR)/usr/games/prboom-game-server - rm -rf $(TARGET_DIR)/usr/games/prboom + rm -rf $(TARGET_DIR)/usr/share/games/doom/prboom.wad \ + $(TARGET_DIR)/usr/games/prboom-game-server \ + $(TARGET_DIR)/usr/games/prboom -$(MAKE) -C $(PRBOOM_DIR) clean |