From 8db164adc7743372b7bd62c5e51bea6b463077a7 Mon Sep 17 00:00:00 2001 From: Marco Hladik Date: Sun, 29 Aug 2021 16:03:48 +0200 Subject: [PATCH] make_dist.sh: bundle any script starting with install_*.sh into the game-dir --- make_dist.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/make_dist.sh b/make_dist.sh index 8152d4de..13ccc46b 100755 --- a/make_dist.sh +++ b/make_dist.sh @@ -48,6 +48,11 @@ find ./$GAME_DIR -name *.pk3dir | xargs -I @ sh -c 'echo `basename "@"`' | while mv "./$GAME_DIR/$PK3DIR/$PK3NAME.pk3" "./$BUILD_DIR/$GAME_DIR/$PK3NAME.pk3" done; +# copy over the shell scripts inside the game-dir +find ./$GAME_DIR -name 'install_*.sh' | xargs -I @ sh -c 'echo `basename "@"`' | while read SCRIPTNAME; do + cp "./$GAME_DIR/$SCRIPTNAME" "./$BUILD_DIR/$GAME_DIR/$SCRIPTNAME" +done; + cp "./$GAME_DIR/progs.dat" "./$BUILD_DIR/$GAME_DIR/progs.dat" cp "./$GAME_DIR/csprogs.dat" "./$BUILD_DIR/$GAME_DIR/csprogs.dat" cp "./$GAME_DIR/menu.dat" "./$BUILD_DIR/$GAME_DIR/menu.dat"