Fixed gpu_id for DLL/SO

AlexeyAB

2018-03-19 ced198e9390195875d743d77eadece99c7fd5b38

 src/option_list.h

@@ -9,6 +9,7 @@
} kvp;


list *read_data_cfg(char *filename);
int read_option(char *s, list *options);
void option_insert(list *l, char *key, char *val);
char *option_find(list *l, char *key);