Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / svn_version.sh @ 22fe1c93

History | View | Annotate | Download (371 Bytes)

1
#!/bin/bash
2

    
3
version=`svn info | awk -v ver="UNKNOWN" -F ":" '/R?vision/ { ver=$2 } END { print ver }' | tr -d " "`
4

    
5
filename=version.ml
6

    
7
echo "Generating version number in file \"${filename}\" ..."
8

    
9
echo "" > src/${filename}
10
echo "(* Version file generated by Oasis *)" >> src/${filename}
11
echo "" >> src/${filename}
12
echo "let number = \"${version}\"" >> src/${filename}