|
From: <sv...@va...> - 2012-04-21 00:03:24
|
sewardj 2012-04-21 01:03:16 +0100 (Sat, 21 Apr 2012)
New Revision: 12518
Log:
"close" this branch.
Modified files:
branches/TCHAIN/coregrind/m_main.c
Modified: branches/TCHAIN/coregrind/m_main.c (+2 -0)
===================================================================
--- branches/TCHAIN/coregrind/m_main.c 2012-04-21 00:58:55 -23:00 (rev 12517)
+++ branches/TCHAIN/coregrind/m_main.c 2012-04-21 01:03:16 +01:00 (rev 12518)
@@ -1444,6 +1444,8 @@
static
Int valgrind_main ( Int argc, HChar **argv, HChar **envp )
{
+ VG_(debugLog)(0, "main", "branches/TCHAIN is now merged to trunk. Use trunk instead.\n");
+ VG_(exit)(0);
HChar* toolname = "memcheck"; // default to Memcheck
Int need_help = 0; // 0 = no, 1 = --help, 2 = --help-debug
ThreadId tid_main = VG_INVALID_THREADID;
|