From 9810e9521f1a946492d5802d791d8f88085f38c4 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 17 Feb 2017 17:50:49 +0100 Subject: [PATCH] kill some other occurences of the fifo --- TODO | 1 - tools/cmake/GCCFlags.cmake | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/TODO b/TODO index cbe2792d23..6825a49059 100644 --- a/TODO +++ b/TODO @@ -26,5 +26,4 @@ * Replace XBT with the C++ standard library * Some XBT datacontainers seem to overlap. Kill some/all of them. - - replace fifo with dynars - replace set with SWAG diff --git a/tools/cmake/GCCFlags.cmake b/tools/cmake/GCCFlags.cmake index 3ca730963d..410bcb7fac 100644 --- a/tools/cmake/GCCFlags.cmake +++ b/tools/cmake/GCCFlags.cmake @@ -123,7 +123,7 @@ if(enable_model-checking AND enable_compile_optimizations) src/xbt/log.c src/xbt/xbt_log_appender_file.c src/xbt/xbt_log_layout_format.c src/xbt/xbt_log_layout_simple.c src/xbt/dict.cpp src/xbt/dict_elm.c src/xbt/dict_cursor.c - src/xbt/dynar.cpp src/xbt/fifo.c src/xbt/heap.c src/xbt/swag.c + src/xbt/dynar.cpp src/xbt/heap.c src/xbt/swag.c src/xbt/str.c src/xbt/strbuff.c src/xbt/snprintf.c src/xbt/queue.c src/xbt/xbt_os_time.c src/xbt/xbt_os_thread.c -- 2.20.1