Skip to content
Snippets Groups Projects
Commit eddf909a authored by erwan's avatar erwan
Browse files

Fix: untrack the sasaVersion.ml file, not the Makefile.version that generates it!

parent d4e6c582
No related branches found
No related tags found
No related merge requests found
Pipeline #20909 passed
SHA:=$(shell git log -1 --pretty=format:"%h"|| echo "err")
BRANCH:=$(shell git branch | grep "*" | cut -d ' ' -f 2 || echo "err")
VERSION=$(shell git describe --tags)
del_version:
rm -f src/sasaVersion.ml
gen_version: del_version src/sasaVersion.ml
src/sasaVersion.ml:
echo "(* generated by ../Makefile.version *)" > src/sasaVersion.ml ; \
echo "let str=\"$(VERSION)\"" >> src/sasaVersion.ml ; \
echo "let sha=\"$(SHA)\"" >> src/sasaVersion.ml ; \
echo "let branch=\"$(BRANCH)\"" >> src/sasaVersion.ml
(* generated by ../Makefile.version *)
let str="1.0.1"
let sha="622c02c"
let branch="master"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment