# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1585072372 0
# Node ID 9676e7ad02e15e31351fb6d2245f3268e4296a03
# Parent  6f28ac7d5255ea68defc83787a93be9b4d4cef7e
not relevant

diff -r 6f28ac7d5255 -r 9676e7ad02e1 bin/master.sh
--- a/bin/master.sh	Thu Mar 19 13:13:35 2020 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-#!/usr/bin/bash
-echo $(date) $(hostname)
-h=$(hostname)
-hn=${h##*n}
-if [ $hn -eq 0 ]
-then seq --format="%03.0f" $1 $2
-else seq --format="%03.0f" $3 $4
-fi |\
-parallel --will-cite -j 48 -N 1 bin/doHdr.sh ${hn} '{#}' '{}'
-echo $(date) $(hostname) $?