view libtomcrypt/mess.sh @ 1085:ad14e2e71190

Fix building when ENABLE_CLI_PUBKEY_AUTH is unset
author Matt Johnston <matt@ucc.asn.au>
date Wed, 03 Jun 2015 21:45:32 +0800
parents 0cbe8f6dbf9e
children
line wrap: on
line source

#!/bin/bash
if cvs log $1 >/dev/null 2>/dev/null; then exit 0; else echo "$1 shouldn't be here, removed"; rm -f $1 ; fi