From 2b6deece3afab67174dbd673de47ab9ff78091a5 Mon Sep 17 00:00:00 2001
From: Hans Dembinski <hans.dembinski@gmail.com>
Date: Wed, 24 Apr 2019 17:44:30 +0200
Subject: [PATCH] adding type index
---
ThirdParty/ThirdParty.dox | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ThirdParty/ThirdParty.dox b/ThirdParty/ThirdParty.dox
index a04b8076d..064fc5635 100644
--- a/ThirdParty/ThirdParty.dox
+++ b/ThirdParty/ThirdParty.dox
@@ -58,7 +58,7 @@ Unpack source code somewhere, go to into the folder.
Run these commands:
./bootstrap && ./b2 tools/bcp
- ./dist/bin/bcp mp11 iterator core format interval optional ./dist
+ ./dist/bin/bcp mp11 iterator core format interval optional type_index ./dist
mv ./dist/boost <CORSIKA-path>/ThirdParty/boost
*/
--
GitLab