Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
open-source-case-studies
Commits
ca79eed7
Commit
ca79eed7
authored
Jul 06, 2021
by
Andre Maroneze
💬
Browse files
[chrony] fix typo in GNUmakefile (avoids issues in macOS)
parent
52559da7
Pipeline
#36323
failed with stage
in 89 minutes and 49 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
chrony/.frama-c/GNUmakefile
View file @
ca79eed7
...
...
@@ -13,13 +13,12 @@ MACHDEP = x86_64
## Preprocessing flags (for -cpp-extra-args)
CPPFLAGS
+=
\
-I
..
\
-D_XOPEN_SOURCE
=
200112L
\
-DNB_TESTS
=
3
\
## General flags
FCFLAGS
+=
\
-cpp-command
"
cpp
-E -C -I.."
\
-cpp-command
"
gcc
-E -C -I.."
\
-cpp-frama-c-compliant
\
-add-symbolic-path
=
..:.
\
-kernel-warn-key
typing:implicit-function-declaration
=
abort
\
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment