#! /bin/sh # @configure_input@ ./testPrintBug@EXEEXT@ @DIFF_Q@ testPrintBug.out @srcdir@/testPrintBug.output > /dev/null
#! /bin/sh
# @configure_input@
./testPrintBug@EXEEXT@
@DIFF_Q@ testPrintBug.out @srcdir@/testPrintBug.output > /dev/null