Project

General

Profile

« Previous | Next » 

Revision d1baac41

Added by Xavier Thirioux over 10 years ago

corrected a bug that made an error silent, confusing users...

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@370 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

_tags
2 2
"src/backends/C": include
3 3
"src/backends/Horn": include
4 4
# OASIS_START
5
# DO NOT EDIT (digest: df9189c6c6943133cb99a2bb11ba7f05)
6
# Ignore VCS directories, you can use the same kind of rule outside
7
# OASIS_START/STOP if you want to exclude directories that contains
5
# DO NOT EDIT (digest: 98bcbc21d29d2f6266238c1025fff223)
6
# Ignore VCS directories, you can use the same kind of rule outside 
7
# OASIS_START/STOP if you want to exclude directories that contains 
8 8
# useless stuff for the build process
9 9
<**/.svn>: -traverse
10 10
<**/.svn>: not_hygienic

Also available in: Unified diff