Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/rust/watcher.sh
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2020-04-19 17:38:09 +0200
committerAndreas Baumann <mail@andreasbaumann.cc>2020-04-19 17:38:09 +0200
commit5ae21ee05ad6d21c780fd64c85b80abe712bde26 (patch)
tree351c85bb7d3ded185815fc75090fbd4605d492d2 /extra/rust/watcher.sh
parentb3aa86bc8342dc5dee66643f95596e52b4987f19 (diff)
extra/rust: boostrapping rust 1.42 from rust141
Diffstat (limited to 'extra/rust/watcher.sh')
-rwxr-xr-xextra/rust/watcher.sh27
1 files changed, 0 insertions, 27 deletions
diff --git a/extra/rust/watcher.sh b/extra/rust/watcher.sh
deleted file mode 100755
index 98228b5d..00000000
--- a/extra/rust/watcher.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/sh
-
-term() {
- echo "--> Got SIGTERM"
- echo "--> killing inotifywait with PID $inotifywait"
- kill -TERM "$inotifywait"
- sleep 10
- kill -9 "$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"