# -*-perl-*-
{
    $PREST_DIR_FLAGS = q(-W nobackn=0);

    %PREST_FILE_FLAGS =
	(if04 => q(-D perl='$a=0;$b=1'),
	 if05 => q(-D perl=4/0),
	 trusted02 => q(-D trusted),
	 trusted03 => q(-D perl='$a=1;open F "if07.rst"'),
	 trusted04 => q(-D trusted),
	 );
}