Closed Bug 12257 Opened 26 years ago Closed 26 years ago

[WebShell] make export dies in webshell/embed

Categories

(Core Graveyard :: Embedding: APIs, defect, P3)

Product:
Core Graveyard
Component:
Embedding: APIs
Platform:
x86
Linux
Type:
defect

Tracking

(Not tracked)

Status:
VERIFIED FIXED

People

(Reporter: jim_nance, Assigned: scc-obsolete)

Details

Using a pull form 8:00 PM EDT Aug 20, I get an error during make export in the directory webshell/embed when I am building in an objdir. It looks like the code tries to cd into a directory called gtk, which does not exist in the objdir tree. Here are the errors: cd embed; make export make[2]: Entering directory `/usr/local/home/jlnance/src/19980429/nbt/Mozbuild/webshell/embed' /bin/sh: gtk: No such file or directory make[2]: *** [export] Error 1 make[2]: Leaving directory `/usr/local/home/jlnance/src/19980429/nbt/Mozbuild/webshell/embed' make[1]: *** [export] Error 2
Summary: make export dies in webshell/embed → [WebShell] make export dies in webshell/embed
Bul re-assigning webshell bugs to the new webshell owner, Scott Collins. Scott, please adjust the target milestone assignments as you see fit. Thanks.
Target Milestone: M15
Querying jim_nance@yahoo.com to see if this is still a problem. I'll prioritize based on that. Marking M15 until I hear back from him.
Status: ASSIGNED → RESOLVED
Closed: 26 years ago
Resolution: --- → FIXED
I tried this morning and it seems to be working now.
Status: RESOLVED → VERIFIED
low-level fix, marking VERIFIED
Product: Core → Core Graveyard
You need to log in before you can comment on or make changes to this bug.