# HG changeset patch
# User wenzelm
# Date 1662750911 -7200
# Node ID e59d7d6fe1bde1f42dc7f590cae85f9f83bd805a
# Parent  758fd2fbde1e0ca57df868e3f3105227237157a7
clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge;

diff -r 758fd2fbde1e -r e59d7d6fe1bd Admin/bash_process/build
--- a/Admin/bash_process/build	Fri Sep 09 20:48:18 2022 +0200
+++ b/Admin/bash_process/build	Fri Sep 09 21:15:11 2022 +0200
@@ -12,7 +12,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG TARGET"
+  echo "Usage: $PRG PLATFORM"
   echo
   exit 1
 }
@@ -27,26 +27,29 @@
 # command line args
 
 [ "$#" -eq 0 ] && usage
-TARGET="$1"; shift
+PLATFORM="$1"; shift
 
 [ "$#" -eq 0 ] || usage
 
 
 # main
 
-mkdir -p "$TARGET"
+PLATFORM_DIR="platform_${PLATFORM}"
 
-case "$TARGET" in
+case "$PLATFORM" in
   arm64-linux)
-    cc -Wall bash_process.c -o "$TARGET/bash_process"
+    mkdir -p "$PLATFORM_DIR"
+    cc -Wall bash_process.c -o "$PLATFORM_DIR/bash_process"
     ;;
   x86_64-linux | x86_64-darwin)
-    cc -Wall -m64 bash_process.c -o "$TARGET/bash_process"
+    mkdir -p "$PLATFORM_DIR"
+    cc -Wall -m64 bash_process.c -o "$PLATFORM_DIR/bash_process"
     ;;
   x86_64-cygwin)
-    cc -Wall bash_process.c -o "$TARGET/bash_process.exe"
+    mkdir -p "$PLATFORM_DIR"
+    cc -Wall bash_process.c -o "$PLATFORM_DIR/bash_process.exe"
     ;;
   *)
-    fail "Bad target platform: \"$TARGET\""
+    fail "Bad target platform: \"$PLATFORM\""
     ;;
 esac
diff -r 758fd2fbde1e -r e59d7d6fe1bd Admin/bash_process/etc/settings
--- a/Admin/bash_process/etc/settings	Fri Sep 09 20:48:18 2022 +0200
+++ b/Admin/bash_process/etc/settings	Fri Sep 09 21:15:11 2022 +0200
@@ -1,3 +1,4 @@
 # -*- shell-script -*- :mode=shellscript:
 
-ISABELLE_BASH_PROCESS="$COMPONENT/$ISABELLE_PLATFORM64/bash_process"
+ISABELLE_BASH_PROCESS_HOME="$COMPONENT"
+ISABELLE_BASH_PROCESS="$ISABELLE_BASH_PROCESS_HOME/platform_${ISABELLE_PLATFORM64}/bash_process"
diff -r 758fd2fbde1e -r e59d7d6fe1bd Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Sep 09 20:48:18 2022 +0200
+++ b/Admin/components/components.sha1	Fri Sep 09 21:15:11 2022 +0200
@@ -18,6 +18,7 @@
 729486311833e4eff0fbf2d8041dddad520ca88c bash_process-1.2.4-2.tar.gz
 7ae9ec8aab2d8a811842d9dc67d8bf6c179e11ee bash_process-1.2.4.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218 bash_process-1.2.tar.gz
+84246b9b6460296a6f8e8d661643b36719f7834a bash_process-1.3.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9 bib2xhtml-20171221.tar.gz
 4085dd6060a32d7e0d2e3f874c463a9964fd409b bib2xhtml-20190409.tar.gz
 f92cff635dfba5d4d77f469307369226c868542c cakeml-2.0.tar.gz
diff -r 758fd2fbde1e -r e59d7d6fe1bd Admin/components/main
--- a/Admin/components/main	Fri Sep 09 20:48:18 2022 +0200
+++ b/Admin/components/main	Fri Sep 09 21:15:11 2022 +0200
@@ -1,7 +1,7 @@
 #main components for repository clones or release bundles
 gnu-utils-20211030
 apache-commons-20211211
-bash_process-1.2.4-2
+bash_process-1.3
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8