--- rpl/tools/Makefile.am	2017/06/26 11:05:49	1.147
+++ rpl/tools/Makefile.am	2017/07/11 16:04:54	1.148
@@ -79,6 +79,9 @@ clean distclean:
 			$(MAKE) -C $$subdir $@; \
 		fi; \
 	done;
+	if [ -d @OPENMOTIF@/install ]; then \
+		rm -rf @OPENMOTIF@/install; \
+	fi
 	if [ -f @OPENSSL@/tests_success ]; then \
 		rm -f @OPENSSL@/tests_success; \
 	fi