index 0000000000000000000000000000000000000000..d8b635e0916d6eded2967bfb01753f0c46036f11
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,19 @@
+#!/bin/sh
+
+BUILD_DIR="build"
+
+if [ "$1" == "clean" ]; then
+ rm -rf $BUILD_DIR
+fi
+
+if [ ! -d $BUILD_DIR ]; then
+ mkdir $BUILD_DIR || exit 1
+fi
+
+cd build
+cmake ../ #-DMTM_EMULATOR=ON
+make
+cd ..
+
+exit 0
+
« no previous file with comments
|
« build.bat ('k')
|
config.h.in » ('j')
|
no next file with comments »
Issue 660204: Upgrade to tpm-emulator version 0.7.
(Closed)
Created 10 years, 10 months ago by Luigi Semenzato
Modified 9 years, 7 months ago
Reviewers: Will Drewry
Base URL:
Comments: 0