diff --git a/src/dune b/src/dune index f99f6c3fb..47421f4df 100644 --- a/src/dune +++ b/src/dune @@ -11,7 +11,7 @@ version2.ml (progn (run echo let version = "\"") - (run echo Version) + (run echo "Version 1.2: ") (run git rev-parse --abbrev-ref HEAD) (run echo , " ") (run git rev-parse --short HEAD)