Project

General

Profile

Statistics
| Branch: | Revision:

cool / makestatic.sh @ 4caf8f04

History | View | Annotate | Download (987 Bytes)

# Date Author Comment
4caf8f04 11/07/2017 07:59 AM Hans-Peter Deifel

makestatic.sh: Include benchmarks for aconjunctive mu

3e5fbf7e 07/21/2014 12:47 PM Thorsten Wißmann

Update helper message

02491e96 07/17/2014 11:46 AM Thorsten Wißmann

Add bash -e flag to makestatic.sh

1c4f2133 07/16/2014 03:37 PM Thorsten Wißmann

Omit benchmarks in static tarball

9066f726 07/16/2014 03:35 PM Thorsten Wißmann

Add script for static tarball creation