From 0f4448fdbec6ce7e9cada411972898fb24f54e0b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sat, 5 Mar 2016 12:40:59 +0000
Subject: [PATCH] no need

---
 pl/CMakeLists.txt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/pl/CMakeLists.txt b/pl/CMakeLists.txt
index f3ee32f40..ace0d1f4d 100644
--- a/pl/CMakeLists.txt
+++ b/pl/CMakeLists.txt
@@ -57,13 +57,12 @@ set(PL_SOURCES
 
 add_custom_target (${YAP_STARTUP} ALL SOURCES ${PL_SOURCES} ) # WORKING_DIRECTORY ${CMAKE_BINARY_DIR} )
 
-# create a startup.yss on the top directory.
+# Create a startup.yss on the top directory.
 add_custom_command (TARGET ${YAP_STARTUP}
   COMMAND yap-bin -b ${CMAKE_SOURCE_DIR}/pl/boot.yap -L ${CMAKE_SOURCE_DIR}/pl/init.yap -z qend_program
   VERBATIM
   WORKING_DIRECTORY ${CMAKE_TOP_BINARY_DIR}
   DEPENDS yap-bin  ${PL_SOURCES}
-  USES_TERMINAL
   )
 
 install (FILES ${PL_SOURCES}