diff options
| author | ruki <[email protected]> | 2019-06-28 00:41:09 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2019-06-27 22:06:58 +0800 |
| commit | 19cbd06f95dddacd1247d1dffab9fa29d719d02b (patch) | |
| tree | c424494f950ea356bcac5f8bdc3c78b200064c67 /core/src/sv/makefile | |
| parent | 10f5a0cf4441565b66d9fe2682ee78fbaab73fa9 (diff) | |
rename submodules name
Diffstat (limited to 'core/src/sv/makefile')
| -rw-r--r-- | core/src/sv/makefile | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/core/src/sv/makefile b/core/src/sv/makefile index c760f44c1..e1197c612 100644 --- a/core/src/sv/makefile +++ b/core/src/sv/makefile @@ -12,16 +12,16 @@ sv_CONFIG = n # core files sv_C_FILES += \ - repo/src/comp \ - repo/src/id \ - repo/src/num \ - repo/src/range \ - repo/src/semvers \ - repo/src/utils \ - repo/src/version + sv/src/comp \ + sv/src/id \ + sv/src/num \ + sv/src/range \ + sv/src/semvers \ + sv/src/utils \ + sv/src/version # includes -sv_INC_DIRS += repo/include +sv_INC_DIRS += sv/include # suffix |