Ignore:
Timestamp:
Sep 26, 2013 7:57:59 AM (6 years ago)
Author:
Mei <mei@…>
Branches:
abac0-leak, master
Children:
80f0770
Parents:
f2622ee
Message:

1) tweak according valgrind's leak report

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tests/example_scripts/c/Makefile.am

    rf2622ee r7764378  
    2828
    2929tleak: abac_attr.c
    30         gcc -g -O1 $(MY_INCLUDES_VAL) -c abac_attr.c -o leak_attr.o
    31         gcc -g -O1 -o tleak leak_attr.o $(MY_LDFLAGS_VAL) 
    32         valgrind -v --leak-check=full ./tleak IceCream_ID.pem  IceCream_private.pem IceCream_attr.xml Chocolate_ID.pem
    33 
     30        make clean
     31        @$(MY_ENV) ./setup.sh 1>/dev/null 2>&1
     32        gcc -g -O1 $(MY_INCLUDES_VAL) -c abac_attr.c -o abac_attr.o
     33        gcc -g -O1 -o leak_attr abac_attr.o $(MY_LDFLAGS_VAL) 
     34        gcc -g -O1 $(MY_INCLUDES_VAL) -c abac_prover.c -o abac_prover.o
     35        gcc -g -O1 -o leak_prover abac_prover.o $(MY_LDFLAGS_VAL)
     36        $(MY_ENV) ./run_leak_prover
    3437
    3538tt: tbasic.c
Note: See TracChangeset for help on using the changeset viewer.