# HG changeset patch # User Paul Boddie # Date 1558739961 -7200 # Node ID 4135f638972c09ec8e20ef9955c8eea790901a52 # Parent 2b586f8b40179f7894ecabb9fc9ca93d67b38a68 Moved common routines into a separate file. diff -r 2b586f8b4017 -r 4135f638972c makesd-common --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/makesd-common Sat May 25 01:19:21 2019 +0200 @@ -0,0 +1,33 @@ +#!/bin/sh + +# Common routines. + +# Test for a selected device. + +check_device() +{ + if [ ! "$DEV" ] ; then + cat 1>&2 <&2 <&2 <&2 <&2 <&2 <