diff options
Diffstat (limited to 'examples/usbtool/make-files.sh')
-rwxr-xr-x | examples/usbtool/make-files.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/examples/usbtool/make-files.sh b/examples/usbtool/make-files.sh new file mode 100755 index 0000000..0ba183e --- /dev/null +++ b/examples/usbtool/make-files.sh @@ -0,0 +1,16 @@ +#!/bin/sh +# Author: Christian Starkjohann +# Creation Date: 2008-04-17 +# Tabsize: 4 +# Copyright: (c) 2008 by OBJECTIVE DEVELOPMENT Software GmbH +# License: GNU GPL v2 (see License.txt) or proprietary (CommercialLicense.txt) +# This Revision: $Id$ + + +if [ "$1" = remove ]; then + make clean + rm -f opendevice.[ch] + exit +fi + +cp ../../libs-host/opendevice.[ch] . |