diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2019-10-23 20:45:46 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2019-10-23 20:45:46 +0200 |
commit | 90d82c3cd02434e00b76ecf719fdf11b06e7b6be (patch) | |
tree | 6e44fa3a5377ede14927655e473e7883d78ee609 /extra/rust/watcher.sh | |
parent | 4c670fccfd3099fde997d07a2e3d9860dcefb281 (diff) | |
download | packages-90d82c3cd02434e00b76ecf719fdf11b06e7b6be.tar.xz |
extra/rust: first try to build 1.38 with 1.38 from bootstrapping repos
Diffstat (limited to 'extra/rust/watcher.sh')
-rwxr-xr-x | extra/rust/watcher.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/extra/rust/watcher.sh b/extra/rust/watcher.sh new file mode 100755 index 00000000..544c3712 --- /dev/null +++ b/extra/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" |