diff --git a/.gitmodules b/.gitmodules index 40c12c1fd..bbf8515c1 100644 --- a/.gitmodules +++ b/.gitmodules @@ -22,3 +22,7 @@ path = hermit/lwip url = git@github.com:RWTH-OS/LwIP.git branch = hermit +[submodule "hermit/usr/libomp"] + path = hermit/usr/libomp + url = git@github.com:RWTH-OS/libomp_oss.git + branch = hermit diff --git a/hermit/usr/libomp b/hermit/usr/libomp new file mode 160000 index 000000000..df35011b7 --- /dev/null +++ b/hermit/usr/libomp @@ -0,0 +1 @@ +Subproject commit df35011b7945d712cd676f5766b89a6eddec5cd5