Project

General

Profile

Download (91 Bytes) Statistics
| Branch: | Tag: | Revision:
1
#!/usr/bin/env bash
2

    
3
cd $HOME/lustrec
4

    
5
echo "Compiling LustreC..."
6
dune build
7
echo "Done."
(2-2/2)