#!/bin/bash
# added 2019-04-11 by Rainer Gerhards, released under ASL 2.0
export USE_VALGRIND="YES"
source ${srcdir:-.}/mmnormalize_parsesuccess.sh