From 09b64bf7306df02fe8d6d0c944e251b19e046256 Mon Sep 17 00:00:00 2001
From: Pierre Pronchery <khorben@defora.org>
Date: Thu, 21 Feb 2019 02:38:06 +0100
Subject: [PATCH] Do not expect Windows-specific project files

---
 src/makefile.c | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/src/makefile.c b/src/makefile.c
index 864d335..b85581f 100644
--- a/src/makefile.c
+++ b/src/makefile.c
@@ -2740,25 +2740,23 @@ static int _dist_install(Makefile * makefile,
 		char const * directory, char const * mode,
 		char const * filename)
 {
-	char sep = (configure_get_os(makefile->configure) != HO_WIN32)
-		? '/' : '\\';
 	String * p;
 	char const * q;
 
-	if(strchr(filename, sep) != NULL)
+	if(strchr(filename, '/') != NULL)
 	{
 		if((p = string_new(filename)) == NULL)
 			return -1;
 		q = dirname(p);
-		/* FIXME keep track of the directories created */
-		_makefile_print(makefile, "%s%s%c%s\n", "\t$(MKDIR) $(DESTDIR)",
-				directory, sep, q);
+		/* TODO keep track of the directories created */
+		_makefile_print(makefile, "%s%s/%s\n", "\t$(MKDIR) $(DESTDIR)",
+				directory, q);
 		string_delete(p);
 	}
 	else
 		_makefile_mkdir(makefile, directory);
-	_makefile_print(makefile, "%s%s%s%s%s%s%c%s\n", "\t$(INSTALL) -m ",
-			mode, " ", filename, " $(DESTDIR)", directory, sep,
+	_makefile_print(makefile, "%s%s%s%s%s%s/%s\n", "\t$(INSTALL) -m ",
+			mode, " ", filename, " $(DESTDIR)", directory,
 			filename);
 	return 0;
 }