diff --git a/src/external/cctools-port b/src/external/cctools-port index 3a8935619..0ff54e8b0 160000 --- a/src/external/cctools-port +++ b/src/external/cctools-port @@ -1 +1 @@ -Subproject commit 3a893561958e59a0a789a872124063c34de9130d +Subproject commit 0ff54e8b0b5fa3e6b3fda7efe185d0fcd3c5dc4d