#! /bin/sh# Copyright (C) 2006 LRDE## This file is part of HAVM.## HAVM is free software; you can redistribute it and/or modify# it under the terms of the GNU General Public License as published by# the Free Software Foundation; either version 2, or (at your option)# any later version.## HAVM is distributed in the hope that it will be useful,# but WITHOUT ANY WARRANTY; without even the implied warranty of# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the# GNU General Public License for more details.## You should have received a copy of the GNU General Public License# along with Texinfo; see the file COPYING. If not, write to# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,# Boston, MA 02110-1301, USA.../defs||exit1set-eHAVM_pass--trace$srcdir/cmp.lircmpstdout$srcdir/cmp.outtest-sstderrHAVM_pass--trace=3$srcdir/cmp.lir3>stdtrccmpstdout$srcdir/cmp.outtest!-sstderrtest-sstdtrc