try new cache settings

gcontini

2020-03-29 ca0bd815f42b61a3feea43698f6050ce26bfdfac

 src/library/os/os.h

@@ -12,7 +12,6 @@
extern "C" {
#endif

#include "../base/base.h"
#include <stddef.h>
#include <string.h>
#include <ctype.h>
@@ -23,6 +22,7 @@
#include <unistd.h>
#include <stdbool.h>
#endif
#include "../base/base.h"

typedef struct {
   int id;