From bf0b23bd24d83ab5d627cc5ebd07af4d726da920 Mon Sep 17 00:00:00 2001 From: Peter Korsgaard Date: Wed, 5 Nov 2008 15:47:09 +0000 Subject: [PATCH] prboom: misc cleanups As noted by Bernhard on irc. --- package/games/prboom/prboom.mk | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/package/games/prboom/prboom.mk b/package/games/prboom/prboom.mk index 4f0a8bc197..02d018ffbf 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