diff build.sh @ 19:7f712cc0d3d5 draft

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