#! /bin/bash

test -z "`diff $srcdir/configfile2.ini $srcdir/configfile.ini.result`" \
  && rm configfile2.ini