/* internal_config.h -- characteristics of the platform, as probed by Cmake */
-/* This file is AUTOMATICALLY GENERATED by Cmake. Edit the following
- template instead tools/cmake/src/internal_config.h.in */
+/* Warning: The file internal_config.h is AUTOMATICALLY GENERATED by Cmake.
+ * Edit the template instead: tools/cmake/src/internal_config.h.in */
/* Copyright (c) 2004-2014. The SimGrid Team.
* All rights reserved. */