Name | Last commit | Last update |
---|---|---|
.. | ||
migration_scripts | ||
.gitignore | ||
check-reference-configuration.sh | ||
dune | ||
frama-c | ||
frama-c-config | ||
frama-c-gui | ||
frama-c-script | ||
frama-c.debug | ||
git.sh | ||
init-plugin.sh | ||
lint.sh | ||
test.sh |
When using symbolic links for plug-in directories (e.g. for testing external plug-ins), the '-L' flag (follow symbolic links) is necessary to avoid a syntax error in the script.
Name | Last commit | Last update |
---|---|---|
.. | ||
migration_scripts | ||
.gitignore | ||
check-reference-configuration.sh | ||
dune | ||
frama-c | ||
frama-c-config | ||
frama-c-gui | ||
frama-c-script | ||
frama-c.debug | ||
git.sh | ||
init-plugin.sh | ||
lint.sh | ||
test.sh |