#!/bin/bash # # NOTE: See aufs/BOM.UPDATING for instructions on how to use this updater. # if [ "$#" -ne 1 ]; then echo "Usage: $0 " 1>&2 exit 1 fi aufs="$1" # Get the current tip name { read x url read x o_log_sha1 read x o_tip_sha1 }