From ae1780d9136d30b46f8aa077e3234b0829fd99ae Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Sat, 16 Nov 2019 20:37:33 +0100 Subject: build-support: renamed extra->disabled, added python-pip-bootstrap --- build-support/disabled/rust/watcher.sh | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100755 build-support/disabled/rust/watcher.sh (limited to 'build-support/disabled/rust/watcher.sh') 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" -- cgit v1.2.3-54-g00ecf