make should only look at reconsulted files, it makes no sense to use make for

consulted files.
This commit is contained in:
Vítor Manuel de Morais Santos Costa
2009-10-16 08:31:23 +01:00
parent fc3c3b4e29
commit 0f4b64d199
2 changed files with 11 additions and 11 deletions

View File

@@ -608,7 +608,7 @@ abolish_module(_).
(recorded('$import','$import'(Mod,Module,G,G1,N0,K0),_), writeln('$import'(Mod,Module,G,G1,N0,K0)), fail; true),
'$convert_for_reexport'(Spec, Exports, Tab, MyExports, Goal),
'$add_to_imports'(Tab, Module, Mod),
recorded('$lf_loaded','$lf_loaded'(TopFile,TopModule,_),_),
recorded('$lf_loaded','$lf_loaded'(TopFile,TopModule,_,_),_),
recorded('$module', '$module'(CurrentFile, Module, ModExports), Ref),
erase(Ref),
lists:append(ModExports, MyExports, AllExports),