Searched refs:PATCH_DIR (Results 1 - 1 of 1) sorted by relevance
/gem5/util/maint/ | ||
H A D | create_patches.sh | 48 PATCH_DIR="./patches/" 82 PATCH_DIR="$OPTARG" 129 echo "Patch directory: $PATCH_DIR" 149 git format-patch -p -o "$PATCH_DIR" "$UPSTREAM" |
Completed in 4 milliseconds