Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/build-support/extra/rust/watcher.sh
diff options
context:
space:
mode:
Diffstat (limited to 'build-support/extra/rust/watcher.sh')
-rwxr-xr-xbuild-support/extra/rust/watcher.sh25
1 files changed, 0 insertions, 25 deletions
diff --git a/build-support/extra/rust/watcher.sh b/build-support/extra/rust/watcher.sh
deleted file mode 100755
index 544c3712..00000000
--- a/build-support/extra/rust/watcher.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/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"