#!/bin/bash # output version bash printinfo.sh make clean > /dev/null if [ -f check-source.pl ] ; then echo "checking white spaces..." perl check-source.pl || exit 1 fi exit 0 # $Source$ # $Revision$ # $Date$
