projects
/
gapil.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
6ce85e9
)
Correzioni e integrazioni
author
Simone Piccardi
<piccardi@gnulinux.it>
Wed, 22 May 2002 21:43:02 +0000
(21:43 +0000)
committer
Simone Piccardi
<piccardi@gnulinux.it>
Wed, 22 May 2002 21:43:02 +0000
(21:43 +0000)
system.tex
patch
|
blob
|
history
diff --git
a/system.tex
b/system.tex
index 4ce46aaf47452f58cf243a3364a34b508924a5ca..e2b9a4cc47c325f7c67287969290e33c9af173f7 100644
(file)
--- a/
system.tex
+++ b/
system.tex
@@
-2542,7
+2542,9
@@
Stampa un messaggio di errore formattato.
\noindent ed il suo comportamento è identico a quello di \func{error} se non
per il fatto che, separati con il solito due punti-spazio, vengono inseriti un
nome di file indicato da \param{fname} ed un numero di linea subito dopo la
\noindent ed il suo comportamento è identico a quello di \func{error} se non
per il fatto che, separati con il solito due punti-spazio, vengono inseriti un
nome di file indicato da \param{fname} ed un numero di linea subito dopo la
-stampa del nome del programma.
+stampa del nome del programma. Inoltre essa usa un'altra variabile globale,
+\var{error\_one\_per\_line}, che settata ad un valore diverso da zero fa si
+che errori relativi alla stessa linea non vengano ripetuti.