| Age | Commit message (Collapse) | Author |
|---|
|
Unfortunately, "+" regular expressions are not supported by default
with MacOS X's sed.
It is told that it would work with option -E though, but the syntax
seems then different.
|
|
This was broken due to a typo when introducing the archive download
method.
We also remove default [master] values from basic-overlay which hid
this issue.
|
|
This allows to use fixed commits and not just branches or tags.
We keep using git clone when $FORCE_GIT is set (for projects on
gforge.inria.fr and projects pulling dependencies through git submodules).
fiat-parsers also calls git submodule, but inside its own Makefile.
|
|
|
|
|
|
|
|
|
|
|
