remove definitely wrong link line for -L/usr/lib/xen-4.2

djs55 · Mar 11, 2019 · df63dee · df63dee
1 parent 8743727
commit df63dee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/dune b/lib/dune
@@ -10,5 +10,5 @@
  (public_name xen-gnt-unix)
  (modules Gnt_dummy)
  (c_names gntshr_stubs gnttab_stubs)
- (c_library_flags -L/usr/lib/xen-4.2/lib -lxenctrl)
+ (c_library_flags -lxenctrl)
  (libraries unix lwt lwt.unix bigarray io-page-unix))