From 32b1c9b34f73949781023be4feac0c9b9015d4d7 Mon Sep 17 00:00:00 2001
From: Ilya Rezvov <ilya.rezvov@revjet.com>
Date: Thu, 9 Jan 2020 11:55:33 -0800
Subject: [PATCH] use an explicit extension for libcb references in %foreign
 pragmas

---
 tests/chez/chez010/CB.idr | 2 +-
 tests/chez/chez010/run    | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/tests/chez/chez010/CB.idr b/tests/chez/chez010/CB.idr
index 3407df5..acd6807 100644
--- a/tests/chez/chez010/CB.idr
+++ b/tests/chez/chez010/CB.idr
@@ -1,5 +1,5 @@
 libcb : String -> String
-libcb f = "C:" ++ f ++", libcb"
+libcb f = "C:" ++ f ++", libcb.so"
 
 %foreign libcb "add"
 add : Int -> Int -> Int
diff --git a/tests/chez/chez010/run b/tests/chez/chez010/run
index de079c8..9b8b9a6 100755
--- a/tests/chez/chez010/run
+++ b/tests/chez/chez010/run
@@ -1,4 +1,3 @@
 cc --shared cblib.c -fPIC -o libcb.so
-cc --shared cblib.c -fPIC -o libcb.dylib
 $1 --no-banner CB.idr < input
 rm -rf build libcb.*