diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 15:30:53 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 15:30:53 -0300 |
| commit | e32ba6294781691846c3ab19281fe977350b4d0f (patch) | |
| tree | f38e92ba2fc03e966d7263c7ee2e0b5d7983ebae /shared/shabptree/dune | |
| parent | be375a52da6174dfda5b68617d27e1542cc80499 (diff) | |
| download | Sakura-e32ba6294781691846c3ab19281fe977350b4d0f.tar.gz Sakura-e32ba6294781691846c3ab19281fe977350b4d0f.zip | |
preparation cleanup for RNT integration
Diffstat (limited to 'shared/shabptree/dune')
| -rw-r--r-- | shared/shabptree/dune | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/shared/shabptree/dune b/shared/shabptree/dune deleted file mode 100644 index ee86221..0000000 --- a/shared/shabptree/dune +++ /dev/null @@ -1,14 +0,0 @@ -(rule - (target sakura_shabptree.dll) - (deps shabptree.c) - (action - (run - %{cc} - -std=c99 - -Wall - -Wextra - -DSAKURA_BPTREE_BUILDING_DLL - -shared - -o - %{target} - %{deps}))) |