Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / configure @ 22fe1c93

History | View | Annotate | Download (132 Bytes)

1
#!/bin/sh
2

    
3
# OASIS_START
4
# DO NOT EDIT (digest: ed33e59fe00e48bc31edf413bbc8b8d6)
5
set -e
6

    
7
ocaml setup.ml -configure $*
8
# OASIS_STOP