#! /bin/sh -vx # $Id$ # Copyright 2017 Karl Berry # Copyright 2014 Peter Breitenlohner # You may freely use, modify and/or distribute this file. ./pmpost -version || exit 1 ./pmpost -help || exit 1 ./pmpost -dvitomp -version || exit 1 ./pmpost -dvitomp -help || exit 1