index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Andreas Baumann <mail@andreasbaumann.cc> | 2022-06-02 07:54:04 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2022-06-02 07:54:04 +0200 |
commit | 7227ad6abbf0ba9a67c385b1b5eb97acb746e245 (patch) | |
tree | 70fe660219bbfabbb4b38639265610a21ee74df1 /build-support/rust140/watcher.sh | |
parent | 295c4cf1791566c15efb2f864724ef42cc4100ea (diff) |
-rwxr-xr-x | build-support/rust140/watcher.sh | 27 |
diff --git a/build-support/rust140/watcher.sh b/build-support/rust140/watcher.sh deleted file mode 100755 index 98228b5d..00000000 --- a/build-support/rust140/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" |