view libtomcrypt/mess.sh @ 1488:abbdeca6f1bd

Fix building default_options.h
author Matt Johnston <matt@ucc.asn.au>
date Sun, 11 Feb 2018 10:53:59 +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