default_pre_build       &&
cd ${SOURCE_DIRECTORY}  &&

if [ "${GTKWAVE_GTK}" == "GTK1" ]; then
   patch -p0 < ${SCRIPT_DIRECTORY}/configure-gtk1.diff
else
   patch -p0 < ${SCRIPT_DIRECTORY}/configure-gtk2.diff
fi
