From fa7028c2db211c5317da11d891ce62084c237cd3 Mon Sep 17 00:00:00 2001 From: Robby Date: Sat, 12 Oct 2024 14:04:50 -0500 Subject: [PATCH] Revert bin/platform deletions. --- .gitmodules | 9 +++++++++ bin/linux | 1 + bin/mac | 1 + bin/win | 1 + 4 files changed, 12 insertions(+) create mode 160000 bin/linux create mode 160000 bin/mac create mode 160000 bin/win diff --git a/.gitmodules b/.gitmodules index 672ae145..9ec84226 100644 --- a/.gitmodules +++ b/.gitmodules @@ -49,3 +49,12 @@ [submodule "hamr/sysml"] path = hamr/sysml url = https://github.com/sireum/hamr-sysml.git +[submodule "bin/mac"] + path = bin/mac + url = https://github.com/sireum/bin-mac +[submodule "bin/linux"] + path = bin/linux + url = https://github.com/sireum/bin-linux +[submodule "bin/win"] + path = bin/win + url = https://github.com/sireum/bin-windows diff --git a/bin/linux b/bin/linux new file mode 160000 index 00000000..2eba973a --- /dev/null +++ b/bin/linux @@ -0,0 +1 @@ +Subproject commit 2eba973ad5aba2f1c455dbe392a9bfd1f08a3d89 diff --git a/bin/mac b/bin/mac new file mode 160000 index 00000000..dcfb19eb --- /dev/null +++ b/bin/mac @@ -0,0 +1 @@ +Subproject commit dcfb19eb9faf3db3b69a5bfa50a6c850173e2898 diff --git a/bin/win b/bin/win new file mode 160000 index 00000000..0fdd93a5 --- /dev/null +++ b/bin/win @@ -0,0 +1 @@ +Subproject commit 0fdd93a56ff8713357c9b22df8526aa94608e56b