Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/build-support/disabled/rust/watcher.sh
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2019-11-16 20:37:33 +0100
committerAndreas Baumann <mail@andreasbaumann.cc>2019-11-16 20:37:33 +0100
commitae1780d9136d30b46f8aa077e3234b0829fd99ae (patch)
treea603a95fbe3092909f0c6e3933b6356bd810c750 /build-support/disabled/rust/watcher.sh
parenta88d4f51d2c59f450477509717d3149a37872569 (diff)
build-support: renamed extra->disabled, added python-pip-bootstrap
Diffstat (limited to 'build-support/disabled/rust/watcher.sh')
-rwxr-xr-xbuild-support/disabled/rust/watcher.sh25
1 files changed, 25 insertions, 0 deletions
diff --git a/build-support/disabled/rust/watcher.sh b/build-support/disabled/rust/watcher.sh
new file mode 100755
index 00000000..544c3712
--- /dev/null
+++ b/build-support/disabled/rust/watcher.sh
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+term() {
+ echo "--> Got SIGTERM"
+ echo "--> killing inotifywait with PID $inotifywait"
+ kill -TERM "$inotifywait"
+}
+
+srcdir="$1"
+
+trap term SIGTERM
+
+inotifywait -mr -e close_write --format %w%f $srcdir | while read -r FILE; do
+ case "$FILE" in
+ *consts.rs)
+ echo "--> patching $FILE"
+ sed -i '/pub type U1024/d;/pub type P1024/d' $FILE
+ echo "--> finished patching $FILE"
+ ;;
+ esac
+done &
+inotifywait=$(ps -ef | grep inotifywait | grep -v grep | tr -s ' ' | cut -d ' ' -f2)
+echo "--> waiting for inotifywait $inotifywait"
+wait "$inotifywait"
+echo "--> watcher terminated"