summaryrefslogtreecommitdiff
path: root/scripts/refactoring
diff options
context:
space:
mode:
authorPicca Frédéric-Emmanuel <picca@debian.org>2019-02-02 12:55:46 +0100
committerPicca Frédéric-Emmanuel <picca@debian.org>2019-02-02 12:55:46 +0100
commit30098174e89f801160dc7656642eaaf34822a1f5 (patch)
treeda8d68c1328bc641139c5724a08ca1f76e57bac5 /scripts/refactoring
parentb97bde539e3e5568f29ee50211f8decdea0a8aaf (diff)
parentb3cce9a78f1862dcaeeebc6784b70b3f116e583d (diff)
Update upstream source from tag 'upstream/5.0.0.2456'
Update to upstream version '5.0.0.2456' with Debian dir fdd1364b79a1292c1ac74d5d36b9b54742d56b0b
Diffstat (limited to 'scripts/refactoring')
-rwxr-xr-xscripts/refactoring9
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/refactoring b/scripts/refactoring
new file mode 100755
index 0000000..5e7e8ee
--- /dev/null
+++ b/scripts/refactoring
@@ -0,0 +1,9 @@
+# use a cocci spatch for the refactoring
+
+SP_FILE=$1
+shift
+spatch -in-place -sp_file $SP_FILE -I .. $*
+echo $1, $2
+echo "refactor using $SP_FILE" > ../.git/GITGUI_BCK
+git add $SP_FILE
+cat $SP_FILE >> ../.git/GITGUI_BCK