aboutsummaryrefslogtreecommitdiff
path: root/externals/build/src/prob.c
diff options
context:
space:
mode:
Diffstat (limited to 'externals/build/src/prob.c')
-rw-r--r--externals/build/src/prob.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/externals/build/src/prob.c b/externals/build/src/prob.c
new file mode 100644
index 00000000..2896797a
--- /dev/null
+++ b/externals/build/src/prob.c
@@ -0,0 +1 @@
+#include "../../mjlib/prob.c"