From df28df55eb17170eee0f88bba0be41d038490e3f Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Fri, 17 Apr 2020 15:31:05 +0200
Subject: extra/rust140: for building rust 1.40. from 1.39

---
 build-support/rust140/watcher.sh | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create 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
new file mode 100755
index 00000000..98228b5d
--- /dev/null
+++ b/build-support/rust140/watcher.sh
@@ -0,0 +1,27 @@
+#!/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