summaryrefslogtreecommitdiff
path: root/sync.sh
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2021-05-11 20:30:35 +0200
committerErich Eckner <git@eckner.net>2021-05-11 20:30:35 +0200
commitb161c0c2575e39bcc1657986e2c82bbbfa4e75d7 (patch)
treeed096be134d49759f4d1e27f99ec2269c4fc4b7b /sync.sh
parent9454ac9d5c39fec467bffc16fde33761dce70ebe (diff)
downloadcrux-ports-b161c0c2575e39bcc1657986e2c82bbbfa4e75d7.tar.xz
sync.sh: wait for update.sh
Diffstat (limited to 'sync.sh')
-rwxr-xr-xsync.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/sync.sh b/sync.sh
index 9dc909c..494ca8d 100755
--- a/sync.sh
+++ b/sync.sh
@@ -1,5 +1,9 @@
#!/bin/bash
+while pgrep -af update.sh; do
+ sleep 1
+done
+
finalPortsDirs=(/usr/src/ports/{cpan2crux,manual}Ports)
d=$(