File tree 2 files changed +6
-4
lines changed
2 files changed +6
-4
lines changed Original file line number Diff line number Diff line change @@ -152,8 +152,9 @@ let make_custom_rules
152
152
(* The include order matters below *)
153
153
if is_dev then
154
154
Ext_buffer. add_char_string buf ' ' dev_incls;
155
- Ext_buffer. add_char_string buf ' ' lib_incls;
156
- Ext_buffer. add_char_string buf ' ' dpkg_incls;
155
+ Ext_buffer. add_char_string buf ' ' lib_incls;
156
+ if is_dev then
157
+ Ext_buffer. add_char_string buf ' ' dpkg_incls;
157
158
if not has_builtin then
158
159
Ext_buffer. add_string buf " -nostdlib" ;
159
160
Ext_buffer. add_char_string buf ' ' warnings;
Original file line number Diff line number Diff line change @@ -13205,8 +13205,9 @@ let make_custom_rules
13205
13205
(* The include order matters below *)
13206
13206
if is_dev then
13207
13207
Ext_buffer.add_char_string buf ' ' dev_incls;
13208
- Ext_buffer.add_char_string buf ' ' lib_incls;
13209
- Ext_buffer.add_char_string buf ' ' dpkg_incls;
13208
+ Ext_buffer.add_char_string buf ' ' lib_incls;
13209
+ if is_dev then
13210
+ Ext_buffer.add_char_string buf ' ' dpkg_incls;
13210
13211
if not has_builtin then
13211
13212
Ext_buffer.add_string buf " -nostdlib";
13212
13213
Ext_buffer.add_char_string buf ' ' warnings;
You can’t perform that action at this time.
0 commit comments