diff options
| author | jbj <devnull@localhost> | 2004-03-23 07:18:55 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2004-03-23 07:18:55 +0000 |
| commit | 58c9db0b19e1f61758e63516c3d99c60ed9b103a (patch) | |
| tree | 9a22f04adf71b78a98c46a7f05262026b4ab8032 /rpmio/rpmlua.h | |
| parent | bc35b858d6638674ed6e94af87137fbcbe3c826e (diff) | |
| download | rpm-58c9db0b19e1f61758e63516c3d99c60ed9b103a.tar.gz | |
Spint fiddles.
CVS patchset: 7184
CVS date: 2004/03/23 07:18:55
Diffstat (limited to 'rpmio/rpmlua.h')
| -rw-r--r-- | rpmio/rpmlua.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpmio/rpmlua.h b/rpmio/rpmlua.h index 6701630bf..9c7008ad5 100644 --- a/rpmio/rpmlua.h +++ b/rpmio/rpmlua.h @@ -50,7 +50,7 @@ void *rpmluaFree(/*@only@*/ rpmlua lua) int rpmluaCheckScript(rpmlua lua, const char *script, const char *name) /*@modifies lua @*/; -int rpmluaRunScript(rpmlua lua, const char *script, const char *name) +int rpmluaRunScript(rpmlua lua, const char *script, /*@null@*/ const char *name) /*@modifies lua @*/; void rpmluaInteractive(rpmlua lua) /*@globals fileSystem @*/ |