diff btman-1.0.0/build.sh @ 18:be864d79c9c7 draft

Uploaded 20190304
author fabio
date Mon, 04 Mar 2019 08:30:03 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/btman-1.0.0/build.sh	Mon Mar 04 08:30:03 2019 -0500
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+outExpDir=$1
+
+cd ${outExpDir}
+
+howdesbt build --HowDe --tree=union.txt --outtree=howde.txt