Project

General

Profile

Revision 4caf8f04 makestatic.sh

View differences:

makestatic.sh
39 39
    cool2tatl
40 40
    setup.ml
41 41
    src/
42
    benchmarks/aconjunctive_mu/
42 43
)
43 44

  
44 45
cat >VERSION <<EOF
......
47 48
This version of COOL was...
48 49
  - build on $(date).
49 50
  - build for the architecture $(uname -m).
50
  - distributed without benchmarks (to reduce file size)
51
  - distributed with a subset of all benchmarks (to reduce file size)
51 52

  
52 53

  
53 54
Last commit

Also available in: Unified diff