This prepares for the second patch and add support for repo
which do not have a linux-generic platform
Signed-off-by: Nicolas Morey-Chaisemartin <nmo...@kalray.eu>
---
configure.ac | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure.ac b/configure.ac
index be5a292..86173f4 100644
--- a/configure.ac
+++ b/configure.ac
@@ -123,7 +123,7 @@ AC_ARG_WITH([platform],
[AS_HELP_STRING([--with-platform=platform],
[select platform to be used, default linux-generic])],
[],
- [with_platform=linux-generic
+ [AC_MSG_ERROR([No platform specified. Use --with-platform])
])
AC_SUBST([with_platform])
--
2.10.1.4.g0ffc436
