From 767096c97d9366f36ef531b49381f1a3b3326146 Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Sun, 16 Mar 2025 20:27:01 +0100 Subject: moved back (reverted) --- build-support-disabled/rust/watcher.sh | 25 ------------------------- 1 file changed, 25 deletions(-) delete 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 deleted file mode 100755 index 544c3712..00000000 --- a/build-support-disabled/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" -- cgit v1.2.3-70-g09d2