#!/bin/bash set -x echo "========= unmount RAM disc" # ignore the result: if there was no ramdisc, that's fine test -e ../unmount-ramdrive && ../unmount-ramdrive echo "========= make extraclean" cd build test -e Makefile && (make extraclean || exit $?) exit 0