diff options
Diffstat (limited to 'dev/user')
| -rw-r--r-- | dev/user/user.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev/user/user.json b/dev/user/user.json index 481280f8..9581d4d4 100644 --- a/dev/user/user.json +++ b/dev/user/user.json @@ -5,7 +5,6 @@ "sources_path": ["src/*.cc", "src/*.o"], "output_name": "user.sys", "compiler_flags": [ - "-fPIC", "-ffreestanding", "-shared", "-fno-rtti", |
