Fix build with -Dnew_backends=false. And more build test for this case. Fixes #83 Signed-off-by: Yuxuan Shui <yshuiv7@gmail.com>
2.3 KiB
2.3 KiB
Fix build with -Dnew_backends=false. And more build test for this case. Fixes #83 Signed-off-by: Yuxuan Shui <yshuiv7@gmail.com>