diff options
Diffstat (limited to 'tools/gen_scripts/gio_generate_extra_defs.sh')
| -rwxr-xr-x | tools/gen_scripts/gio_generate_extra_defs.sh | 31 |
1 files changed, 29 insertions, 2 deletions
diff --git a/tools/gen_scripts/gio_generate_extra_defs.sh b/tools/gen_scripts/gio_generate_extra_defs.sh index 4e428bdb..b4330d71 100755 --- a/tools/gen_scripts/gio_generate_extra_defs.sh +++ b/tools/gen_scripts/gio_generate_extra_defs.sh @@ -3,9 +3,36 @@ # This script assumes that it resides in the tools/gen_scripts directory and # the defs file will be placed in gio/src. +# To update the gio_signals.defs file: +# 1. ./gio_generate_extra_defs.sh +# Generates gio/src/gio_signals.defs.orig and gio/src/gio_signals.defs. +# If any hunks from the patch file fail to apply, apply them manually to the +# gio_signals.defs file, if required. +# 2. Optional: Remove gio/src/gio_signals.defs.orig. + +# To update the gio_signals.defs file and the patch file: +# 1. Like step 1 when updating only the gio_signals.defs file. +# 2. Apply new patches manually to the gio_signals.defs file. +# 3. ./gio_generate_extra_defs.sh --make-patch +# 4. Like step 2 when updating only the gio_signals.defs file. + ROOT_DIR="$(dirname "$0")/../.." GEN_DIR="$ROOT_DIR/tools/extra_defs_gen" OUT_DIR="$ROOT_DIR/gio/src" +OUT_FILE=gio_signals.defs +OUT_DIR_FILE="$OUT_DIR"/$OUT_FILE -"$GEN_DIR"/generate_defs_gio > "$OUT_DIR"/gio_signals.defs -patch "$OUT_DIR"/gio_signals.defs "$OUT_DIR"/gio_signals.defs.patch +if [ $# -eq 0 ] +then + "$GEN_DIR"/generate_defs_gio > "$OUT_DIR_FILE" + # patch version 2.7.5 does not like directory names. + cd "$OUT_DIR" + PATCH_OPTIONS="--backup --version-control=simple --suffix=.orig" + patch $PATCH_OPTIONS $OUT_FILE $OUT_FILE.patch +elif [ "$1" = "--make-patch" ] +then + diff --unified=5 "$OUT_DIR_FILE".orig "$OUT_DIR_FILE" > "$OUT_DIR_FILE".patch +else + echo "Usage: $0 [--make-patch]" + exit 1 +fi |