reproduce-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[task #15643] Add valgrind and patch to maneage


From: Mohammad Akhlaghi
Subject: [task #15643] Add valgrind and patch to maneage
Date: Fri, 15 May 2020 15:21:28 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:76.0) Gecko/20100101 Firefox/76.0

Update of task #15643 (project reproduce):

        Percent Complete:                      0% => 90%                    

    _______________________________________________________

Follow-up Comment #1:

Thanks Boud, I just tried them and with some minor corrections
<https://gitlab.com/maneage/project-dev/-/commit/8d12837838152ef247d2cac38c93c1344d515738>
it worked cleanly. As explained in the commit message, I just had to stop
'make check' breaking Maneage.

Raul, when you get the chance, can you try this branch on your macOS? We'll
merge it into the main branch afterwards. 


git remote add maneage-dev address@hidden:maneage/project-dev.git
git fetch maneage-dev add_valgrind
git checkout -b add_valgrind maneage-dev/add_valgrind
# Add 'valgrind' to TARGETS.conf
./project configure -e


    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/task/?15643>

_______________________________________________
  Message sent via Savannah
  https://savannah.nongnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]