From 7227ad6abbf0ba9a67c385b1b5eb97acb746e245 Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Thu, 2 Jun 2022 07:54:04 +0200
Subject: moved around some rust bootstrapping packages to disabled

---
 build-support/rust140/watcher.sh | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100755 build-support/rust140/watcher.sh

(limited to 'build-support/rust140/watcher.sh')

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"
-- 
cgit v1.2.3-54-g00ecf